"A Mere Bagatelle"
نویسندگان
چکیده
منابع مشابه
"Bagatelle in C arranged for VDM SoLo"
This paper sketches a reverse engineering discipline which combines formal and semi-formal methods. Central to the former is denotational semantics, expressed in the ISO/IEC 13817-1 standard specification language (VDM-SL). This is strengthened with algebra of programming, which is applied in “reverse order” so as to reconstruct formal specifications from legacy code. The latter include code sl...
متن کاملA mere fifteen minutes.
Firstword I glide through some days of my family practice with an effortless grace. I am on time for my appointments. I address patients’ concerns and mine in unrushed, friendly visits. There is rhythm and joy in what I do. Then, there are days when I seem to be mired in wet concrete. I am neither fast nor efficient, and many patient encounters end with the feeling that nothing was accomplished...
متن کاملMultimedia Requirements Engineering ( MeRE ’ 06 ) — Beyond MeRE Descriptions
Most requirements development and management efforts focus on the production of accessible and validated descriptions. Several methods and tools are in use today that aid the requirements engineer in writing, revising, and communicating requirements as text. This approach has several disadvantages. First, text constitutes a language barrier, particularly a challenge for global companies with di...
متن کاملBeyond Mere Convergence
In this article, I suggest that calculus instruction should include a wider variety of examples of convergent and divergent series than is usually demonstrated. In particular, a number of convergent series, such as ∑ k≥1 k3 2k , are considered, and their exact values are found in a straightforward manner. We explore and utilize a number of mathematical topics, including manipulation of certain ...
متن کاملModelling for Mere Mortals
In the past, attempts to convince practising software engineers to adopt formal methods of software development were generally unsuccessful. The methods were too difficult to learn and use, provided inadequate tool support and did not integrate well into the software development process. In short, they could only be used effectively by the gods who created them! Are we in a better position toda...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1961
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.134.3482.801